Philosophie Lexikon der ArgumenteHome | |||
| |||
Leopold Löwenheim: Leopold Löwenheim (1878-1957) war ein deutscher Mathematiker, der sich mit mathematischer Logik beschäftigte. Er ist vor allem für den Löwenheim-Skolem-Satz bekannt, der besagt, dass jede Theorie erster Ordnung mit einem unendlichen Modell auch ein abzählbares Modell hat. Siehe auch Modelle, Modelltheorie, Erfüllung, Erfüllbarkeit, Unendlichkeit, Abzählbarkeit, Reelle Zahlen, Zahlen, Wortbedeutung, Satzbedeutung, Referenz, Mehrdeutigkeit._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
Christian Thiel über Löwenheim, Satz v. – Lexikon der Argumente
I 321 Bsp Paradoxie von Löwenheim-Skolem: Dabei wird aus der für alle in der klassischen Quantorenlogik (mit Identität) formulierten Axiomensystemen beweisbaren Tatsache, dass sie, wenn überhaupt erfüllbar, dann auch bereits in einem abzählbaren Individuenbereich erfüllbar sind, ganz zurecht gefolgert, I 322 dass also auch ein solches Axiomensystem für die reellen Zahlen schon abzählbar erfüllbar sein müsse, entgegen der ihm zugrunde liegenden Absicht, gerade die nicht abzählbare Gesamtheit der reellen Zahlen zu charakterisieren. >Reelle Zahlen, >Erfüllung, >Erfüllbarkeit, >Modelle, >Modelltheorie._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
T I Chr. Thiel Philosophie und Mathematik Darmstadt 1995 |